An axiom system for metasymplectic spaces
نویسندگان
چکیده
منابع مشابه
Quadrangles embedded in metasymplectic spaces
During the final steps in the classification of the Moufang quadrangles by Jacques Tits and Richard Weiss a new class of Moufang quadrangles unexpectedly turned up. Subsequently Bernhard Mühlherr and Hendrik Van Maldeghem showed that this class arises as the fixed points and hyperlines of certain involutions of a metasymplectic space (or equivalently a building of type F4). In the same paper th...
متن کاملAn Axiom System for Incidence Spatial Geometry
Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theo...
متن کاملTowards an Axiom System for Default Logic
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore’s Autoepistemic Logic, Konolige’s variant based on moderately grounded expansions, and Reiter’s default logic. Defaults have a uniform representation under all three interpretations in the new logic. Moreover, the logic itself is monotonic, that is, nonmonotonic...
متن کاملThe Priestley Separation Axiom for Scattered Spaces
Let R be a quasi-order on a compact Hausdorff topological space X. We prove that if X is scattered, then R satisfies the Priestley separation axiom if and only if R is closed in the product space X × X. Furthermore, if X is not scattered, then we show that there is a quasi-order on X that is closed in X × X but does not satisfy the Priestley separation axiom. As a result, we obtain a new charac...
متن کاملTHE URYSOHN AXIOM AND THE COMPLETELY HAUSDORFF AXIOM IN L-TOPOLOGICAL SPACES
In this paper, the Urysohn and completely Hausdorff axioms in general topology are generalized to L-topological spaces so as to be compatible with pointwise metrics. Some properties and characterizations are also derived
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geometriae Dedicata
سال: 1982
ISSN: 0046-5755,1572-9168
DOI: 10.1007/bf00147584